Smolka, Gert: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Records for logic programming

Gert Smolka, Ralf Treinen

Journal:

The Journal of Logic Programming

Year:

1994

Language:

english

File:

PDF, 2.23 MB

english, 1994

2

Attributive concept descriptions with complements

Manfred Schmidt-Schauß, Gert Smolka

Journal:

Artificial Intelligence

Year:

1991

Language:

english

File:

PDF, 1.20 MB

english, 1991

3

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || From restricted path consistency to max-restricted path consistency

Year:

1997

Language:

english

File:

PDF, 1.12 MB

english, 1997

4

Order-sorted unification

Jose Meseguer, Joseph A. Goguen, Gert Smolka

Journal:

Journal of Symbolic Computation

Year:

1989

Language:

english

File:

PDF, 1.74 MB

english, 1989

5

[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - Large model constructions for second-order ZF in dependent type theory

Kirst, Dominik, Smolka, Gert

Year:

2018

Language:

english

File:

PDF, 816 KB

english, 2018

6

A feature constraint system for logic programming with entailment

Hassan Aït-Kaci, Andreas Podelski, Gert Smolka

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 1.47 MB

english, 1994

7

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Look-ahead versus look-back for satisfiability problems

Year:

1997

Language:

english

File:

PDF, 1.14 MB

english, 1997

8

A Goal-Directed Decision Procedure for Hybrid PDL

Kaminski, Mark, Smolka, Gert

Journal:

Journal of Automated Reasoning

Year:

2014

Language:

english

File:

PDF, 1.23 MB

english, 2014

9

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Solving various weighted matching problems with constraints

Year:

1997

Language:

english

File:

PDF, 1.32 MB

english, 1997

10

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Why adding more constraints makes a problem easier for hill-climbing algorithms: Analyzing landscapes of CSPs

Year:

1997

Language:

english

File:

PDF, 819 KB

english, 1997

11

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Semantics and expressive power of a timed concurrent constraint language

Year:

1997

Language:

english

File:

PDF, 1.11 MB

english, 1997

12

Introduction

Journal:

Year:

2000

Language:

english

File:

PDF, 7 KB

english, 2000

13

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Verification of parallel systems using constraint programming

Year:

1997

Language:

english

File:

PDF, 1.01 MB

english, 1997

14

Situated simplification

Andreas Podelski, Gert Smolka

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.24 MB

english, 1997

15

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Programming constraint inference engines

Year:

1997

Language:

english

File:

PDF, 1.14 MB

english, 1997

16

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || A filtering algorithm for global sequencing constraints

Year:

1997

Language:

english

File:

PDF, 1017 KB

english, 1997

17

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Interval methods for non-linear constraints

Year:

1997

Language:

english

File:

PDF, 79 KB

english, 1997

18

Terminating Tableau Systems for Hybrid Logic with Difference and Converse

Mark Kaminski, Gert Smolka

Journal:

Journal of Logic, Language and Information

Year:

2009

Language:

english

File:

PDF, 802 KB

english, 2009

19

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Heavy-tailed distributions in combinatorial search

Year:

1997

Language:

english

File:

PDF, 984 KB

english, 1997

20

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Tabu search for maximal constraint satisfaction problems

Year:

1997

Language:

english

File:

PDF, 962 KB

english, 1997

21

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Narrowing a 2n-block of sortings in O (n logn)

Year:

1997

Language:

english

File:

PDF, 1.06 MB

english, 1997

22

Mobile objects in distributed Oz

Van Roy, Peter, Haridi, Seif, Brand, Per, Smolka, Gert, Mehl, Michael, Scheidhauer, Ralf

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1997

Language:

english

File:

PDF, 473 KB

english, 1997

23

[ACM Press the 5th ACM SIGPLAN Conference - St. Petersburg, FL, USA (2016.01.18-2016.01.19)] Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016 - Axiomatic semantics for compiler verification

Schäfer, Steven, Schneider, Sigurd, Smolka, Gert

Year:

2016

Language:

english

File:

PDF, 413 KB

english, 2016

24

Completeness and Decidability Results for CTL in Constructive Type Theory

Doczkal, Christian, Smolka, Gert

Journal:

Journal of Automated Reasoning

Year:

2016

Language:

english

File:

PDF, 680 KB

english, 2016

25

Hybrid Logic: Dedicated to the Memory of Volker Weber || Terminating Tableau Systems for Hybrid Logic with Difference and Converse

Mark Kaminski and Gert Smolka

Journal:

Journal of Logic, Language and Information

Year:

2009

Language:

english

File:

PDF, 1.93 MB

english, 2009

26

[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - Equivalence of system f and ź2 in Coq based on context morphism lemmas

Kaiser, Jonas, Tebbi, Tobias, Smolka, Gert

Year:

2017

Language:

english

File:

PDF, 404 KB

english, 2017

27

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Localizer A modeling language for local search

Year:

1997

Language:

english

File:

PDF, 975 KB

english, 1997

28

[ACM Press the 1984 ACM Symposium - Austin, Texas, United States (1984.08.06-1984.08.08)] Proceedings of the 1984 ACM Symposium on LISP and functional programming - LFP '84 - Making control and data flow in logic programs explicit

Year:

1984

Language:

english

File:

PDF, 971 KB

english, 1984

29

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Why adding more constraints makes a problem easier for hill-climbing algorithms: Analyzing landscapes of CSPs

Year:

1997

File:

PDF, 819 KB

1997

30

[ACM Press the second international symposium - Maui, Hawaii, United States (1997.07.20-1997.07.22)] Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 - An overview of the design of Distributed Oz

Haridi, Seif, Van Roy, Peter, Smolka, Gert

Year:

1997

Language:

english

File:

PDF, 1.81 MB

english, 1997

31

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Statistical analysis of backtracking on inconsistent CSPs

Year:

1997

Language:

english

File:

PDF, 818 KB

english, 1997

32

On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt and Gert Smolka

Journal:

Journal of Logic, Language and Information

Year:

1993

Language:

english

File:

PDF, 1.65 MB

english, 1993

33

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Reconfigurable architectures: A new vision for optimization problems

Year:

1997

Language:

english

File:

PDF, 937 KB

english, 1997

34

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 1782 || Formalizing Implementation Strategies for First-Class Continuations

Year:

2000

Language:

english

File:

PDF, 173 KB

english, 2000

35

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Using constraint propagation for complex scheduling problems: Managing size, complex resources and travel

Year:

1997

Language:

english

File:

PDF, 252 KB

english, 1997

36

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Understanding and improving the MAC algorithm

Year:

1997

Language:

english

File:

PDF, 1.03 MB

english, 1997

37

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Tractable disjunctive constraints

Year:

1997

Language:

english

File:

PDF, 898 KB

english, 1997

38

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Set constraints: A pearl in research on constraints

Year:

1997

Language:

english

File:

PDF, 978 KB

english, 1997

39

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems

Year:

1997

Language:

english

File:

PDF, 1.36 MB

english, 1997

40

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Compiling constraint solving using projection

Year:

1997

Language:

english

File:

PDF, 1.08 MB

english, 1997

41

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || NeMo+: Object-oriented constraint programming environment based on subdefinite models

Year:

1997

Language:

english

File:

PDF, 1.01 MB

english, 1997

42

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Counting, structure identification and maximum consistency for binary constraint satisfaction problems

Year:

1997

Language:

english

File:

PDF, 999 KB

english, 1997

43

Feature-constraint logics for unification grammars

Journal:

The Journal of Logic Programming

Year:

1992

Language:

english

File:

PDF, 2.50 MB

english, 1992

44

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Oscillation, heuristic ordering and pruning in neighborhood search

Year:

1997

Language:

english

File:

PDF, 917 KB

english, 1997

45

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Modelling exceptionally hard constraint satisfaction problems

Year:

1997

Language:

english

File:

PDF, 1.04 MB

english, 1997

46

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Five pitfalls of empirical scheduling research

Year:

1997

Language:

english

File:

PDF, 1.29 MB

english, 1997

47

On the expressivity of feature logics with negation, functional uncertainty, and sort equations

Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka

Journal:

Journal of Logic, Language and Information

Year:

1993

Language:

english

File:

PDF, 1013 KB

english, 1993

48

Categoricity Results and Large Model Constructions for Second-Order ZF in Dependent Type Theory

Kirst, Dominik, Smolka, Gert

Journal:

Journal of Automated Reasoning

Year:

2018

Language:

english

File:

PDF, 607 KB

english, 2018

49

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Random constraint satisfaction: A more accurate picture

Year:

1997

Language:

english

File:

PDF, 1018 KB

english, 1997

50

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || The constrainedness of Arc consistency

Year:

1997

Language:

english

File:

PDF, 974 KB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски